2

Wadge Reducibility and Infinite Computations

Victor Selivanov
Journal:
Mathematics in Computer Science
Year:
2008
Language:
english
File:
PDF, 632 KB
english, 2008
3

On the Difference Hierarchy in Countably Based T0-Spaces

Victor Selivanov
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 313 KB
english, 2008
5

Hyperprojective hierarchy of qcb0-spaces

Schröder, Matthias, Selivanov, Victor
Journal:
Computability
Year:
2015
File:
PDF, 189 KB
2015
7

Fine hierarchy of regular ω-languages

Victor Selivanov
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 1.63 MB
english, 1998
8

Wadge Degrees of ω -Languages of Deterministic Turing Machines

Selivanov, Victor
Journal:
RAIRO - Theoretical Informatics and Applications
Year:
2003
Language:
english
File:
PDF, 325 KB
english, 2003
10

On recursively enumerable structures

Victor Selivanov
Journal:
Annals of Pure and Applied Logic
Year:
1996
Language:
english
File:
PDF, 1.15 MB
english, 1996
11

Some hierarchies of QCB 0-spaces

SCHRÖDER, MATTHIAS, SELIVANOV, VICTOR
Journal:
Mathematical Structures in Computer Science
Year:
2015
Language:
english
File:
PDF, 212 KB
english, 2015
12

Extending Cooper’s theorem to Δ 3 0 Turing degrees

Selivanov, Victor L., Yamaleev, Mars M., Löwe, Benedikt
Journal:
Computability
Year:
2018
Language:
english
File:
PDF, 157 KB
english, 2018
14

FINE HIERARCHY OF REGULAR APERIODIC ω-LANGUAGES

SELIVANOV, VICTOR
Journal:
International Journal of Foundations of Computer Science
Year:
2008
Language:
english
File:
PDF, 1.48 MB
english, 2008
15

Hierarchies in φ-spaces and applications

Victor L. Selivanov
Journal:
Mathematical Logic Quarterly
Year:
2005
Language:
english
File:
PDF, 227 KB
english, 2005
17

The shrinking property for NP and coNP

Christian Glaßer, Christian Reitwießner, Victor Selivanov
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 395 KB
english, 2011
18

Definability in the -quasiorder of labeled forests

Oleg V. Kudinov, Victor L. Selivanov, Anton V. Zhukov
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 1.28 MB
english, 2009
20

Fine hierarchies via Priestley duality

Victor Selivanov
Journal:
Annals of Pure and Applied Logic
Year:
2012
Language:
english
File:
PDF, 538 KB
english, 2012
23

Recursiveness of ω-Operations

Victor L. Selivanov
Journal:
Mathematical Logic Quarterly
Year:
1994
Language:
english
File:
PDF, 123 KB
english, 1994
24

On the Wadge Reducibility of k-Partitions

Victor Selivanov
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 301 KB
english, 2008
26

Fine hierarchies and m-reducibilities in theoretical computer science

Victor L. Selivanov
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 1.56 MB
english, 2008
29

On the Wadge reducibility of -partitions

Victor L. Selivanov
Journal:
The Journal of Logic and Algebraic Programming
Year:
2010
Language:
english
File:
PDF, 210 KB
english, 2010
31

Towards a descriptive theory of cb0-spaces

SELIVANOV, VICTOR
Journal:
Mathematical Structures in Computer Science
Year:
2017
Language:
english
File:
PDF, 280 KB
english, 2017
34

A reducibility for the dot-depth hierarchy

Victor L. Selivanov, Klaus W. Wagner
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 250 KB
english, 2005
37

Hierarchies of Δ02-measurable k -partitions

Victor L. Selivanov
Journal:
Mathematical Logic Quarterly
Year:
2007
Language:
english
File:
PDF, 191 KB
english, 2007
38

Variations on Wadge Reducibility Extended Abstract

Victor L. Selivanov
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 260 KB
english, 2005
39

Towards a descriptive set theory for domain-like structures

Victor L. Selivanov
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 410 KB
english, 2006